View of TOOLS FOR FORMALIZED DESCRIPTION AND TRANSFORMATION OF ALGORITHMS AIMED AT SYNTHESIZING DEVICES OF CONTROL COMPUTING SYSTEMS

Return to Article Details TOOLS FOR FORMALIZED DESCRIPTION AND TRANSFORMATION OF ALGORITHMS AIMED AT SYNTHESIZING DEVICES OF CONTROL COMPUTING SYSTEMS Download Download PDF